\input texinfo @c -*-texinfo-*-

@setfilename file@c comment

@bye
